Possibilistic logic 1 Didier DUBOIS – Jérôme LANG – Henri PRADE

A Brief Overview of Possibilistic Logic

The intended purpose of this research 1 is i) to show the specificity of possibilistic logic with respect to other logics with weighted statements, in particular its ability to deal both with uncertainty and vagueness, ii) to develop proof methods for possibilistic logic, and iii) to relate its ability to cope with partial inconsistency to belief revision and non-monotonic reasoning issues. See...

Dealing with Multi-Source Information in Possibilistic Logic

In this paper, both the uncertainty and the origin of pieces of information is handled in an extended possibilistic logic framework. Each formula is associated with a set (a fuzzy set more generally) which gathers labels of sources according to which the formula is (more or less) certainly true. In case of a single source of information, possibilistic logic is recovered. Soundness and completen...

Hypothetical Reasoning in Possibilistic Logic: Basic Notions, Applications and Implementation Issues

Possibilistic ATMS are truth maintenance systems oriented towards hypothetical reasoning where both assumptions and justifications can bear an uncertainty weight. Uncertainty is represented in the framework of possibility theory. In possibilistic logic uncertain clauses are handled as such and then in possibilistic ATMS the management of uncertainty is not separated from the other classical cap...

Theorem Proving Under Uncertainty - A Possibility Theory-based Approach

Timed possibilistic logic

This paper is an attempt to cast both uncertainty and time in a logical framework. It generalizes possibilistic logic, previously developed by the authors, where each classical formula is associated with a weight which obeys the laws of possibility theory. In the possibilistic temporal logic we present here, each formula is associated with a time set (a fuzzy set in the more general case) which...